biclosed category

Игры ⚽ Нужно сделать НИР?

*-autonomous category — In mathematics, a * autonomous (read star autonomous ) category C is a symmetric monoidal closed category equipped with a dualizing object . Contents 1 Definition 2 Properties 3 Examples … Wikipedia
Closed monoidal category — In mathematics, especially in category theory, a closed monoidal category is a context where we can take tensor products of objects and also form mapping objects . A classic example is the category of sets, Set, where the tensor product of sets A … Wikipedia
Autonomous category — In mathematics, an autonomous category is a monoidal category where dual objects exist.[1] Definition A left (resp. right) autonomous category is a monoidal category where every object has a left (resp. right) dual. An autonomous category is a… … Wikipedia

Словари и энциклопедии на Академике